#include "types.h"
#include "user.h"
#include "date.h"

//start
//头文件引用user.h,里边定义了void time(struct rtcdate *r);,所以在date.c里边调用

int
main(int argc, char *argv[])
{
  struct rtcdate r;

  if (date(&r)) {
    printf(2, "date failed\n");
    exit();
  }
  

  // your code to print the time in any format you like...
  printf(1,"%d-%d-%d %d:%d:%d\n",r.year,r.month,r.day,r.hour,r.minute,r.second);

  exit();
}